Contracts-refinement proof system for component-based embedded systems
نویسندگان
چکیده
منابع مشابه
Proof-Based System Engineering and Embedded Systems
We introduce basic principles that underlie proof-based system engineering, an engineering discipline aimed at computer-based systems. This discipline serves to avoid system engineering faults. It is based upon fulfilling proof obligations, notably establishing proofs that decisions regarding system design and system dimensioning are correct, before embarking on the implementation or the fieldi...
متن کاملComponent-based approach for embedded systems
This paper addresses component-based approach for embedded systems. Due to the specific characteristics of embedded systems the general-purpose component technologies such as COM, .NET, or EJB have not been the most appropriate choices for their development. Although attractive, component-based approach has not been successful in this domain as in other domains. However in recent years the inte...
متن کاملTypes of quality of service contracts for component-based systems
In this paper, we identify the different roles and contract types which are important in providing Quality of Service (QoS) properties of component-based systems. A surprising result of our work is that direct contracts between components are not necessary and even insufficient to handle non-functional properties of component-based systems.
متن کاملAbstraction, Refinement and Proof for Probabilistic Systems
ion Refinement And Proof For Probabilistic Systems 21-06-2016 2/4 Abstraction Refinement And Proof For Probabilistic Systems Other Files Available to Download [PDF] Blue Guides Vol. 3 : Cyprus If you are looking for Blue Guides Vol. 3 : Cyprus, our library is free for you. We provide copy of Blue Guides Vol. 3 : Cyprus in digital format, so the resources that you find are reliable. There are al...
متن کاملSystematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity of detailed prediction models and the semantic gap between modelled performance concerns and functional concerns prevents many developers to address performance. As a solution to this problem, systematic model refinem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.06.011